
#include <platform.h>
#include <uapi/stdio.h>

int main(int argc, char *argv[])
{
	printf("Hello World !\n");

	return 0;
}
